421. Validation and verification of knowledge based systems :
Author: edited by Anca Vermesan and Frans Coenen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software -- Validation -- Congresses.,Computer software -- Verification -- Congresses.,Expert systems (Computer science) -- Congresses.
Classification :
QA76
.
76
.
V47
E358
2011
422. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
423. Verified software :
Author: Ruzica Piskac, Philipp Rümmer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Compilers (Computer programs), Congresses.,Computer software-- Quality control, Congresses.,Computer software-- Verification, Congresses.,Compilers (Computer programs),Computer programming-- software development.,Computer software-- Quality control.,Computer software-- Verification.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Information technology: general issues.,Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
76
.
V47
424. Wireless CMOS Frequency Synthesizer Design
Author: by J. Craninckx, M. Steyaert.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Computer-aided design.,Engineering.
425. Wireless Personal Communications
Author: edited by Jeffrey H. Reed, Theodore S. Rappaport, Brian D. Woerner.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer engineering.,Engineering.
427. ض and SimulinkضAided Control Systems Design: Practical Applications Using MATLAB-Computer
Author: / Chin, Cheng Siong
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ELECTRONIC|ENGINEERING, MECHANICAL|ENGINEERING, MULTIDISCIPLINARY& CONTROL SYSTEMS|ENGINEERING, ELECTRICAL & METHODS|AUTOMATION &COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
